<?php

	function isEnglish()
	{
		return false;
	}
	
	function getMonthName($monthNum)
	{
		switch($monthNum)
		{
		case 1: return isEnglish() ? "January" : "Január";
		case 2: return isEnglish() ? "February" : "Február";        
		case 3: return isEnglish() ? "March" : "Marec";
		case 4: return isEnglish() ? "April" : "Apríl";
		case 5: return isEnglish() ? "May" : "Máj";
		case 6: return isEnglish() ? "June" : "Jún";
		case 7: return isEnglish() ? "July" : "Júl";
		case 8: return isEnglish() ? "August" : "August";
		case 9: return isEnglish() ? "September" : "September";
		case 10: return isEnglish() ? "October" : "Október";
		case 11: return isEnglish() ? "November" : "November";
		case 12: return isEnglish() ? "December" : "December";
		default: return "";
		}
	}
?>
